Trong thuật ngữ chính thức, đồ thị có hướng là một cặp có thứ tự G = (V, A) trong đó[1]

• V là một tập hợp có các phần tử được gọi là đỉnh (vertices), nút (nodes), hoặc điểm (points);
• A là một tập hợp các cặp được sắp của đĩnh, được gọi là mũi tên (arrows), cạnh có hướng (directed edges), (hay đôi khi chỉ đơn giản là cạnh (edges) với tập hợp tương ứng có tên E thay vì A), cung có hướng (directed arcs), hay đường có hướng (directed lines).